default 推論